Definable normal measures
نویسندگان
چکیده
منابع مشابه
Definable Representations of Definable C Groups
Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.
متن کاملThe number of normal measures
There have been numerous results showing that a measurable cardinal κ can carry exactly α normal measures in a model of GCH, where α is a cardinal at most κ++. Starting with just one measurable cardinal, we have [9] (for α = 1), [10] (for α = κ++, the maximum possible) and [1] (for α = κ+, after collapsing κ++). In addition, under stronger large cardinal hypotheses, one can handle the remaining...
متن کاملDefinable norms and definable types over Banach spaces
A central question in Banach space theory has been to identify the class of Banach spaces that contain almost isometric copies of the classical sequence spaces `p and c0. Banach space theory entered a new era in the mid 1970’s, when B. Tsirelson [34] constructed the first space not containing isomorphic copies any of the classical sequence spaces. Tsirelson’s space has been called “the first tr...
متن کاملDefinable isotopies
Let X be a definable C manifold, Y1, Y2 definably compact definable C r submanifolds of X such that dimY1 + dimY2 < dimX and Y1 has a trivial normal bundle. We prove that there exists a definable isotopy {hp}p∈J such that h0 = idX and h1(Y1) ∩ Y2 = ∅. 2010 Mathematics Subject Classification. 14P10, 14P20, 58A05, 03C64.
متن کاملDefinable C∞g Manifold Structures of Definable Cg Manifolds
Let G be a compact definable C∞ group and 2 ≤ r < ∞. Let X be a noncompact affine definable CG manifold and X1, . . . , Xk noncompact codimension one definable CG submanifolds of X such that X1, . . . , Xk are in general position in X and (X;X1, . . . , Xk) satisfies the frontier condition. We prove that (X;X1, . . . , Xk) admits a unique definable C∞G manifold structure (Y ;Y1, . . . , Yk).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2015
ISSN: 0168-0072
DOI: 10.1016/j.apal.2014.09.001